Virtual Machine Representation Introduction
Global TN assignment
Local TN assignment
Control optimization
VMR conversion
Stack analysis
Non-local exit